Static Typing and Dynamic Versioning for Safe Pessimistic Concurrency Control
نویسنده
چکیده
منابع مشابه
Mixed concurrency control: Dealing with heterogeneity in distributed database systems
A mixed concurrency control, which allows the two techniques two phase locking and certification to coexist together in the same distributed dambase system, proves to be advantageous in a number of situations : interconnected databases, static or dynamic heterogeneity of transactions or objects. In this paper we propose a method which seems well adapted to the majority of the forms of heterogen...
متن کاملExperiences in using Optimisitic Locking in Fujaba
1. REQUIREMENTS ON VERSIONING In software engineering, we have profound experiences in using versioning systems for textual programming languages. For small teams one might use versioning systems with pessimistic locking like SCCS or RCS. This means, changing files is mutally exclusive. On larger teams, such pessimistic locking approach runs into problems, when more frequently multiple users ne...
متن کاملAtomicity Policies using Design Patterns
This paper describes three object-oriented design patterns local serialization, global serialization and recovery and their integration to support atomic objects. The paper emphasizes the policies each pattern offers and the heterogeneity of policies resulting from their integration. The policies supported by the patterns include: pessimistic and optimistic serialization; static, dynamic and hy...
متن کاملFormal foundations for hybrid effect analysis
Type-and-effect systems are a powerful tool for program construction and verification. Type-andeffect systems are useful because it help reduce bugs in computer programs, enable compiler optimizations and provide program documentation. As software systems increasingly embrace dynamic features and complex modes of compilation, static effect systems have to reconcile over competing goals such as ...
متن کاملJava access protection through typing
We propose integrating field access in general, and dedicated readonly field access in particular, into the Java type system. The principal gain is that “getter” methods can be eliminated such that – fast static lookup can be used instead of dynamic dispatch for field access (without requiring a sophisticated inlining analyses), – the (noticeable) space required by getter methods is avoided, – ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012